Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This paper aims to explore the nature of Zeno-machines by examining their conceptual coherence, from the perspective of contemporary theories on the passage of time. More specifically, it will analyse the following questions: Are Zeno-machines and supertasks coherent if we adopt the eternalist theory of time? What conclusions can be drawn from choosing the eternalist thesis, or the presentist thesis, when examining Zeno-machines? To this end, an overview of the opposing theories of time is provided, alongside the usual objections to (...) Zeno-machines and their theoretical foundations from Zeno’s dichotomy paradox. Keywords: Zeno-machines, philosophy of time, supertasks, Zeno’s paradox. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

When A utters a declarative sentence in a context to B, typically A can mean a proposition by the sentence, the sentence in context literally expresses a proposition, there are propositions A and B can agree the sentence literally expressed, and B can acquire knowledge from this testimonial exchange. In recent work on linguistic communication, each of these four platitudes has been challenged, and on the same basis: viz. on the ground that exactly which proposition the sentence expressed in context (...) is not discernible given the information provided by the context. I argue that, even if this is true, there will be propositional parts of the proposition expressed by the sentence in context which can be identified and that, consequently, the partial understanding afforded by the existence of such identifiable parts undermines the soundness of the arguments against the platitudes. (shrink)

I introduce a distinction between health need and medical need, and raise several questions about their interaction. Health needs are needs that relate directly to our health condition. Medical needs are needs which bear some relation to medical institutions or processes. I suggest that the question of whether medical insurance or public care should cover medical needs, health needs, or only needs which fit both categories is a political question that cannot be resolved definitionally. I also argue against an overly (...) strict definition of medical need on the grounds that this presupposes, wrongly, that medical intervention should always be a last resort. (shrink)

The vast literature on negative treatment of outgroups and favoritism toward ingroups provides many local insights but is largely fragmented, lacking an overarching framework that might provide a unified overview and guide conceptual integration. As a result, it remains unclear where different local perspectives conflict, how they may reinforce one another, and where they leave gaps in our knowledge of the phenomena. Our aim is to start constructing a framework to help remedy this situation. We first identify a few key (...) ideas for creating a theoretical roadmap for this complex territory, namely the principles of etiological functionalism and the dual inheritance theory of human evolution. We show how a “molecular” approach to emotions fits into this picture, and use it to illuminate emotions that shape intergroup relations. Finally, we weave the pieces together into the beginnings of a systematic taxonomy of the emotions involved in social interactions, both hostile and friendly. While it is but a start, we have developed the argument in a way that illustrates how the foundational principles of our proposed framework can be extended to accommodate further cases. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Introduction - From the Illiad to the Studies on Hysteria: A chronology of the discovery of the unconscious mind - Freud's theories of the unconscious mind - Jung's collective unconscious - Lacan's linguistic paradigm.

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

This chapter has two aims. First, I distinguish between two forms of testimonial injustice: identity-based testimonial injustice and content-based testimonial injustice. Second, I utilize this distinction to develop a partial explanation for the persistent lack of diverse practitioners in academic philosophy. Specifically, I argue that both identity-based and content-based testimonial injustice are prevalent in philosophical discourse and that this prevalence introduces barriers to participation for those targeted. As I show, the dual and compounding effects of identity-based and content-based testimonial injustice (...) in philosophy plausibly contribute to a lack of diversity in the social identities of practitioners and the discourses in which practitioners are engaged. (shrink)

This paper is about the work of a long forgotten philosopher and his views which have surprising relevance to discussions in present-day philosophy of mind and cognitive science. I argue that, far from being a traditional idealist, Mitchell advanced a very subtle position best seen as marking a transition from idealist views and later materialist accounts, the latter popularly attributed to Australian philosophers in the second half of the 20th century.

Stephen Davies taught philosophy at the University of Auckland, Auckland, New Zealand. His research specialty is the philosophy of art. He is a former President of the American Society for Aesthetics. His books include Definitions of Art (Cornell UP, 1991), Musical Meaning and Expression (Cornell UP, 1994), Musical Works and Performances (Clarendon, 2001), Themes in the Philosophy of Music (OUP, 2003), Philosophical Perspectives on Art (OUP, 2007), Musical Understandings and Other Essays on the Philosophy of Music (OUP, 2011), The (...) Artful Species: Aesthetics, Art, and Evolution (OUP, 2012), The Philosophy of Art (Wiley-Blackwell, 2016 second ed.), and Adornment: What Self-decorations Tells Us about Who We Are, (Bloomsbury Academic, 2020). (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

Academic philosophy has a novelty problem. Novelty has become a litmus test for a contribution’s value. This results in a common undertaking for academic researchers. Read a bunch. Look for holes and gaps. Figure out what hasn’t been said. Try to insert yourself in a conversation by saying something new. On first glance, this approach might appear to make sense. If it’s not new, why do we need it? Yet a fixation on novelty sculpts a landscape of philosophical inquiry that (...) is inhospitable and self-undermining. (shrink)

This paper resolves a paradox concerning colour constancy. On the one hand, our intuitive, pre-theoretical concept holds that colour constancy involves invariance in the perceived colours of surfaces under changes in illumination. On the other, there is a robust scientific consensus that colour constancy can persist in cerebral achromatopsia, a profound impairment in the ability to perceive colours. The first stage of the solution advocates pluralism about our colour constancy capacities. The second details the close relationship between colour constancy and (...) contrast. The third argues that achromatopsics retain a basic type of colour constancy associated with invariants in contrast processing. The fourth suggests that one person-level, conscious upshot of such processing is the visual awareness of chromatic contrasts ‘at’ the edges of surfaces, implicating the ‘colour for form’ perceptual function. This primitive type of constancy sheds new light on our most basic perceptual capacities, which mark the lower borders of representational mind. (shrink)

There is an ongoing increase in the use of mobile health technologies that patients can use to monitor health-related outcomes and behaviours. While the dominant narrative around mHealth focuses on patient empowerment, there is potential for mHealth to fit into a growing push for patients to take personal responsibility for their health. I call the first of these uses ‘medical monitoring’, and the second ‘personal health surveillance’. After outlining two problems which the use of mHealth might seem to enable us (...) to overcome—fairness of burdens and reliance on self-reporting—I note that these problems would only really be solved by unacceptably comprehensive forms of personal health surveillance which applies to all of us at all times. A more plausible model is to use personal health surveillance as a last resort for patients who would otherwise independently qualify for responsibility-based penalties. However, I note that there are still a number of ethical and practical problems that such a policy would need to overcome. The prospects of mHealth enabling a fair, genuinely cost-saving policy of patient responsibility are slim. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

In this Ph.D. dissertation, completed at the Sorbonne, it is shown that the whole of medieval philosophy was not reduced to a realist stance: in the 13th-14th centuries, an idealist stance emerged and was developed into a full-fledged epistemological idealism, personified in the philosophers Eckhart von Hochheim and Dietrich von Freiberg. This dissertation deviates from most works in the history of philosophy by proposing to see this as a taxonomy.

While there is considerable disagreement on the precise nature of material objecthood, it is standardly assumed that material objects must be spatial. In this paper, I provide two arguments against this assumption. The first argument is made from largely a priori considerations about modal plenitude. The possibility of non-spatial material objects follows from commitment to certain plausible principles governing material objecthood and plausible principles regarding modal plenitude. The second argument draws from current philosophical discussions regarding theories of quantum gravity and (...) the emergence of spacetime. When it is appreciated what possible worlds these current theories commit us to, the possibility of non-spatial material objects will follow. Thus, either route will lead us to the possibility of non-spatial material objects. The significance of this result is that we need to revise our accounts of material objecthood to both accommodate these possibilities and the theories that lead to them. (shrink)

Перевод статьи: Davies T., Chandler R. Online deliberation design: Choices, criteria, and evidence // Democracy in motion: Evaluating the practice and impact of deliberative civic engagement / Nabatchi T., Weiksner M., Gastil J., Leighninger M. (eds.). -- Oxford: Oxford univ. press, 2013. -- P. 103-131. А. Кулик. -/- Вниманию читателей предлагается обзор эмпирических исследований в области дизайна онлайн-форумов, предназначенных для вовлечения граждан в делиберацию. Размерности дизайна определены для различных характеристик делиберации: назначения, целевой аудитории, разобщенности участников в пространстве и во (...) времени, среды коммуникации и организации делиберативного процесса. После краткого обзора критериев оценки вариантов дизайна рассматриваются эмпирические данные, соотносящиеся с каждым из вариантов. Эффективность онлайн-делиберации зависит от того, насколько условия коммуникации соотносятся с заданиями делиберации. Компромиссы, как, например, между анонимным или идентифицируемым участием, предполагают различные дизайны в зависимости от цели делиберации и состава участников. Выводы исследования получены на материале существующих технологий и могут измениться по мере коэволюции технологий и пользователей. (shrink)

In this paper, I defend the agent/patient distinction against critics who argue that causal interactions are symmetrical. Specifically, I argue that there is a widespread type of causal interaction between distinct entities, resulting in a type of ontological asymmetry that provides principled grounds for distinguishing agents from patients. The type of interaction where the asymmetry is found is when one of the entities undergoes a change in kind, structure, powers, or intrinsic properties as a result of the interaction while the (...) other does not. Interactions of this type are widespread in molecular biology and chemistry. I focus specifically on (i) the actions of enzymes on substrates and (ii) water molecules breaking the bonds of polarized molecules. Finally, I respond to objections by laying out and to a limited extent defending three commitments of my account: emergent entities and powers, realism about chemical kinds or structures, and the assumption of the agent/patient distinction in functional attributions in biology. (shrink)

It is often thought that traditional recidivism prediction tools used in criminal sentencing, though biased in many ways, can straightforwardly avoid one particularly pernicious type of bias: direct racial discrimination. They can avoid this by excluding race from the list of variables employed to predict recidivism. A similar approach could be taken to the design of newer, machine learning-based (ML) tools for predicting recidivism: information about race could be withheld from the ML tool during its training phase, ensuring that the (...) resulting predictive model does not use race as an explicit predictor. However, if race is correlated with measured recidivism in the training data, the ML tool may ‘learn’ a perfect proxy for race. If such a proxy is found, the exclusion of race would do nothing to weaken the correlation between risk (mis)classifications and race. Is this a problem? We argue that, on some explanations of the wrongness of discrimination, it is. On these explanations, the use of an ML tool that perfectly proxies race would (likely) be more wrong than the use of a traditional tool that imperfectly proxies race. Indeed, on some views, use of a perfect proxy for race is plausibly as wrong as explicit racial profiling. We end by drawing out four implications of our arguments. (shrink)

The orthodox monadic determination thesis holds that we represent colour relations by virtue of representing colours. Against this orthodoxy, I argue that it is possible to represent colour relations without representing any colours. I present a model of iconic perceptual content that allows for such primitive relational colour representation, and provide four empirical arguments in its support. I close by surveying alternative views of the relationship between monadic and relational colour representation.

Most people who defend physician-assisted death (PAD) endorse the Joint View, which holds that two conditions—autonomy and welfare—must be satisfied for PAD to be justified. In this paper, we defend an Autonomy Only view. We argue that the welfare condition is either otiose on the most plausible account of the autonomy condition, or else is implausibly restrictive, particularly once we account for the broad range of reasons patients cite for desiring PAD, such as “tired of life” cases. Moreover, many of (...) the common objections to an Autonomy Only view fail once we understand the extent of the autonomy condition’s requirements—in particular, the importance of one’s values for autonomous choices. If our view is correct, then the scope of permissible PAD is broader than is currently accepted in both the philosophical literature and the law, and therefore poses an important challenge to this widely accepted view on justified PAD. (shrink)

A considerable literature has emerged around the idea of using ‘personal responsibility’ as an allocation criterion in healthcare distribution, where a person's being suitably responsible for their health needs may justify additional conditions on receiving healthcare, and perhaps even limiting access entirely, sometimes known as ‘responsibilisation’. This discussion focuses most prominently, but not exclusively, on ‘luck egalitarianism’, the view that deviations from equality are justified only by suitably free choices. A superficially separate issue in distributive justice concerns the two–way relationship (...) between health and other social goods: deficits in health typically undermine one's abilities to secure advantage in other areas, which in turn often have further negative effects on health. This paper outlines the degree to which this latter relationship between health and other social goods exacerbates an existing problem for proponents of responsibilisation (the ‘harshness objection’) in ways that standard responses to this objection cannot address. Placing significant conditions on healthcare access because of a person's prior responsibility risks trapping them in, or worsening, negative cycles where poor health and associated lack of opportunity reinforce one another, making further poor yet ultimately responsible choices more likely. It ends by considering three possible solutions to this problem. (shrink)

Healthcare practitioners have access to a range of ethical guidance. However, the normative role of this guidance in ethical decision-making is underexplored. This paper considers two ways that healthcare practitioners could approach ethics guidance. We first outline the idea of deference to ethics guidance, showing how an attitude of deference raises three key problems: moral value; moral understanding; and moral error. Drawing on philosophical literature, we then advocate an alternative framing of ethics guidance as a form of moral testimony by (...) colleagues and suggest that a more promising attitude to ethics guidance is to approach it in the spirit of ‘critical engagement’ rather than deference. (shrink)

In ‘The Pregnancy Rescue Case: why abortion is immoral’, Hendricks presents The Pregnancy Rescue Case. In this reply I argue that even if it would be better (i.e., less bad) for the abortion to be prevented in The Pregnancy Rescue Case, that does not mean that typical abortions are impermissible. I also argue that there is a possible explanation, consistent with the pro-choice view and empirically testable, as to why people would think it better for the abortion to be prevented (...) in The Pregnancy Rescue Case. (shrink)

There is a correlation between positions taken on some scientific questions and political leaning. One way to explain this correlation is the cultural cognition hypothesis (CCH): people's political leanings are causing them to process evidence to maintain fixed answers to the questions, rather than to seek the truth. Another way is the different background belief hypothesis (DBBH): people of different political leanings have different background beliefs which rationalize different positions on these scientific questions. In this article, I argue for two (...) things. I argue that two attempts by proponents of the CCH to discredit the DBBH fail. And I argue that this matters, because while the CCH makes epistemic paternalistic interventions seem called for (as some philosophers have argued compellingly), the DBBH does not. The DBBH makes it much easier to stay closer to an ideal of deliberative democracy. (shrink)

Context-sensitive expressions appear ill suited to the purpose of sharing content across contexts. Yet we regularly use them to that end (in regulations, textbooks, memos, guidelines, laws, minutes, etc.). This paper describes the utility of the concept of a metacontext for understanding cross-contextual content-sharing with context-sensitive expressions. A metacontext is the context of a group of contexts: an infrastructure that can channel non-linguistic incentives on content ascription so as to homogenize the content ascribed to context-sensitive expressions in each context in (...) the group. Documents composed of context-sensitive expressions can share content across contexts when supported by an appropriate metacontext. The bible has its church, the textbook its education system, the form its bureaucracy, and the manifesto its social movement. Some metacontexts support cross-contextual content-sharing. Some don’t. A promising research programme (one with practical importance) would take metacontexts as its unit of analysis. (shrink)